Our Lady, Queen of Undecidable Propositions

Multiverse Set Theory and Absolutely Undecidable Propositions

Program Simplification as a Means of Approximating Undecidable Propositions

We describe an approach which mixes testing, slicing, transformation and formal veri cation to investigate speculative hypotheses concerning a program, formulated during program comprehension activity. Our philosophy is that such hypotheses (which are typically undecidable) can, in some sense, be `answered' by a partly automated system which returns neither `true' nor `false', but a program (th...

The undecidable: Basic papers on undecidable propositions unsolvable problems and computable functions

Many cyberinformaticians would agree that, had it not been for amphibious epistemologies, the refinement of randomized algorithms might never have occurred [114, 114, 188, 62, 114, 62, 70, 179, 68, 95, 54, 188, 152, 95, 191, 59, 168, 148, 99, 152]. In this work, we disprove the deployment of cache coherence [58, 129, 128, 106, 154, 51, 176, 164, 76, 59, 134, 203, 193, 116, 65, 24, 123, 109, 48,...

Patients Attitude towards Surgeons Attire in Our Lady of Lourdes Hospital Drogheda

Background A doctor’s competence and professionalism is often judged on the basis of attire. Our Lady of Lourdes (OLOL) is a leading Irish hospital in the implementation of Bare Below the Elbows (BBTE) policy, however surgical attire is not standardised and there is great variability in attire worn on wards. We aimed to evaluate patients attitude towards surgeons attire in OLOL.   Methods A pro...

Our Lady of China: Christian Appropriation in Chinese Culture